منابع مشابه
Deadlines are termination
We have recently extended the sequential reenement calculus to handle real-time programs. A novel deadline command allows execution time limits to be expressed in a high-level language. The calculus allows reenement steps that separate timing constraints from non-timing requirements. Rules are provided for handling timing constraints, but the reenement of components implementing non-timing requ...
متن کاملHow we predict what other people are going to do.
We present a framework for discussing two major aspects of social cognition: the ability to predict what another person is like and what another person is likely to do next. In the first part of this review, we discuss studies that concern knowledge of others as members of a group and as individuals with habitual dispositions. These include studies of group stereotypes and of individual reputat...
متن کاملProcrastination , self - imposed deadlines and other commitment devices
In this paper we model a decision maker who must exert costly effort to complete a single task by a fixed deadline. Effort costs evolve stochastically in continuous time. The decision maker will then optimally wait to exert effort until costs are less than a given threshold, the solution to an optimal stopping time problem. We derive the solution to this model for three cases: (1) time consiste...
متن کاملLiving with Other People
Any teenager or anyone involved with teenagers must find something of value in this excellent little book. Without patronising or preaching from any particular viewpoint, it describes the change from child into teenager, the problems this age brings with it and how to cope with the years that follow. The reader is constantly urged to think for himself, to discuss his problems and act accordingl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: British Journal of Nutrition
سال: 1993
ISSN: 0007-1145,1475-2662
DOI: 10.1079/bjn19930099